Leslie Lamport (auth.): Z-Library সাইটে অনুসন্ধান করুন

জ্ঞান ও সংস্কৃতিতে অবাধ অ্যাক্সেস।

Don't use scam websites

1

Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

Springer-Verlag Berlin Heidelberg

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

সাল:

1996

ভাষা:

english

ফাইল:

DJVU, 4.41 MB

5.0 / 4.0

english, 1996

2

Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

Springer-Verlag Berlin Heidelberg

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

সাল:

1996

ভাষা:

english

ফাইল:

PDF, 8.22 MB

0 / 0

english, 1996

3

Distributed Computing: 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

Distributed Computing: 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Marcos K. Aguilera, Eli Gafni, Leslie Lamport (auth.), Gadi Taubenfeld (eds.)

সাল:

2008

ভাষা:

english

ফাইল:

PDF, 7.37 MB

0 / 0

english, 2008

4

Distributed Computing: 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

Distributed Computing: 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Marcos K. Aguilera, Eli Gafni, Leslie Lamport (auth.), Gadi Taubenfeld (eds.)

সাল:

2008

ভাষা:

english

ফাইল:

PDF, 8.85 MB

0 / 0

english, 2008

5

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

সাল:

1990

ভাষা:

english

ফাইল:

DJVU, 7.52 MB

0 / 0

english, 1990

6

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.)

সাল:

1992

ভাষা:

english

ফাইল:

DJVU, 7.05 MB

0 / 0

english, 1992

7

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

সাল:

1990

ভাষা:

english

ফাইল:

PDF, 15.92 MB

0 / 0

english, 1990

8

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.)

সাল:

1992

ভাষা:

english

ফাইল:

PDF, 15.33 MB

0 / 0

english, 1992

9

Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Leslie Lamport (auth.), Gregor von Bochmann, David Karl Probst (eds.)

সাল:

1993

ভাষা:

english

ফাইল:

DJVU, 3.96 MB

0 / 0

english, 1993

10

Distributed Operating Systems: Theory and Practice

Distributed Operating Systems: Theory and Practice

Springer-Verlag Berlin Heidelberg

Leslie Lamport (auth.), Yakup Paker, Jean-Pierre Banatre, Müslim Bozyiğit (eds.)

সাল:

1987

ভাষা:

english

ফাইল:

PDF, 8.47 MB

0 / 0

english, 1987

11

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.)

সাল:

1989

ভাষা:

english

ফাইল:

DJVU, 7.09 MB

0 / 0

english, 1989

12

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.)

সাল:

1989

ভাষা:

english

ফাইল:

PDF, 17.98 MB

0 / 0

english, 1989

13

Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Leslie Lamport (auth.), Gregor von Bochmann, David Karl Probst (eds.)

সাল:

1993

ভাষা:

english

ফাইল:

PDF, 7.03 MB

0 / 0

english, 1993